COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\def\qL#1{\inmmode{\if !#1 {\cal L}\else {\cal L}↓{\rm #1}\fi}} % List 
C00005 ENDMK
C⊗;
\def\qL#1{\inmmode{\if !#1 {\cal L}\else {\cal L}↓{\rm #1}\fi}} % List 
\def\qS#1{\inmmode{\if !#1 {\cal S}\else {\cal S}↓{\rm #1}\fi}} % Sexp
\def\qA#1{\inmmode{\if !#1 {\cal A}\else {\cal A}↓{\rm #1}\fi}} % Atom
\def\qC#1{\inmmode{\if !#1 {\cal C}\else {\cal C}↓{\rm #1}\fi}} % Cons
\def\qN#1{\inmmode{\if !#1 {\bb N}\else {\bb N}↓{\rm #1}\fi}} % Number
\def\qZ#1{\inmmode{\if !#1 {\bb Z}\else {\bb Z}↓{\rm #1}\fi}} % Integer
\def\qSy#1{\inmmode{\if !#1 {\cal S}\!{\it y}\else {\cal S}\!{\it y}↓{\rm #1}\fi}}
 % Symbols
\def\qBot#1{\inmmode{\if !#1 \{\bot\}\else \{\bot\}↓{\rm #1}\fi}} % Bottom

\def\qAl#1{\inmmode{\if !#1 {\cal A}\!{\it l}\else {\cal A}\!{\it l}↓{\rm #1}\fi}}
 % Alists

\newfam\sxfam   % sexp fonts

\def\normalsizehook{%
  \rumnormalsizehook\def\sx{\fam\sxfam\ninett}\textfont\sxfam=\ninett}

\def\figsizehook{\rumfigsizehook%
  \def\sx{\fam\sxfam\eighttt}\textfont\sxfam=\eighttt}

\catcode`@=11 % borrow the private macros of PLAIN (with care)
% macros for verbatim scanning
\def\sexpbox{\hbox\bgroup
  \catcode`\\=\other
  \catcode`\{=\other
  \catcode`\}=\other
  \catcode`\$=\other
  \catcode`\&=\other
  \catcode`\#=\other
  \catcode`\%=\other
  \catcode`\~=\other
  \catcode`\/=\other
  \catcode`\_=\other
  \catcode`\↑=\other
  \obeyspaces\sx}


%{\obeylines \gdef|{\sexpbox \spaceskip\ttglue \let↑↑M=\  \let|=\egroup}}
{\obeylines\obeyspaces\gdef|{\sexpbox%
\let =\ \spaceskip\ttglue\let↑↑M=\ \let|=\egroup}}


\catcode`@=12 % at signs are no longer letters

\let\chapterfont=\tenbf
\let\sectionfont=\tenit
\let\subsectionfont=\ninebf
\let\subsubsectionfont=\ninebf
\normalsize